<html>
<head><meta charset="utf-8"><title>ICE generating miri stacktrace · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html">ICE generating miri stacktrace</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="136698001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136698001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136698001">(Oct 29 2018 at 10:50)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> with <code>-Zmir-opt-level=3</code>, I am seeing an ICE when generating the miri stack trace of one of our compile-fail tests. We get an out-of-bounds access at <a href="https://github.com/rust-lang/rust/blob/96064eb61/src/librustc_mir/interpret/eval_context.rs#L718" target="_blank" title="https://github.com/rust-lang/rust/blob/96064eb61/src/librustc_mir/interpret/eval_context.rs#L718">https://github.com/rust-lang/rust/blob/96064eb61/src/librustc_mir/interpret/eval_context.rs#L718</a>. Is that expected (so we should change that code to return <code>None</code>) or a bug somewhere?</p>



<a name="136700679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136700679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136700679">(Oct 29 2018 at 11:50)</a>:</h4>
<p>I've seen this before. If you look at the MIR you see that the MIR is borked post-inlining</p>



<a name="136702172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702172">(Oct 29 2018 at 12:23)</a>:</h4>
<p>well, just calling <code>rustc</code> on that file works...</p>



<a name="136702731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702731">(Oct 29 2018 at 12:36)</a>:</h4>
<p>yes it is, but if you do dump-mir and look at the MIR directly after inlining you can see that the <code>source_scope_local_data</code> has fewer elements than referenced by <code>source_info.scope</code> of various statements</p>



<a name="136702743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702743">(Oct 29 2018 at 12:36)</a>:</h4>
<p>I've not been able to figure out what exactly caused it though</p>



<a name="136702755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702755">(Oct 29 2018 at 12:37)</a>:</h4>
<p>there's some <code>source_scole_local_data</code> merging going on in inlining, I'd presume the bug is in there</p>



<a name="136702875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702875">(Oct 29 2018 at 12:39)</a>:</h4>
<p>is there an issue open for this?</p>



<a name="136702989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702989">(Oct 29 2018 at 12:41)</a>:</h4>
<p>didn't find it, I thought I opened one</p>



<a name="136702991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136702991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136702991">(Oct 29 2018 at 12:41)</a>:</h4>
<p>I talked with eddy about it <span class="emoji emoji-1f615" title="confused">:confused:</span></p>



<a name="136779933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136779933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136779933">(Oct 30 2018 at 14:26)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@Oli</span> this is what the printed MIR looks like:</p>
<div class="codehilite"><pre><span></span>fn make_raw() -&gt; *const f32{
    let mut _0: *const f32;              // return place
    scope 1 {
        scope 2 {
        }
    }

    bb0: {
        _0 = const std::intrinsics::uninit() -&gt; bb1; // bb0[0]: scope 2 at /home/r/src/rust/rustc.2/src/libcore/mem.rs:599:5: 599:25
                                         // ty::Const
                                         // + ty: unsafe extern &quot;rust-intrinsic&quot; fn() -&gt; *const f32 {std::intrinsics::uninit::&lt;*const f32&gt;}
                                         // + val: Scalar(Bits { size: 0, bits: 0 })
                                         // mir::Constant
                                         // + span: /home/r/src/rust/rustc.2/src/libcore/mem.rs:599:5: 599:23
                                         // + ty: unsafe extern &quot;rust-intrinsic&quot; fn() -&gt; *const f32 {std::intrinsics::uninit::&lt;*const f32&gt;}
                                         // + literal: Const { ty: unsafe extern &quot;rust-intrinsic&quot; fn() -&gt; *const f32 {std::intrinsics::uninit::&lt;*const f32&gt;}, val: Scalar(Bits { size: 0, bits: 0 }) }
    }

    bb1: {
        Validate(Acquire, [_0: *const f32]); // bb1[0]: scope 2 at /home/r/src/rust/rustc.2/src/libcore/mem.rs:599:5: 599:25
        Validate(Release, [_0: *const f32]); // bb1[1]: scope 2 at /home/r/src/rust/rustc.2/src/libcore/mem.rs:599:5: 599:25
        return;                          // bb1[2]: scope 0 at tests/compile-fail/validity/undef.rs:8:2: 8:2
    }
}
</pre></div>



<a name="136779984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136779984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136779984">(Oct 30 2018 at 14:27)</a>:</h4>
<p>I cannot see anything wrong with it? but there is a dangling <code>source_scope_local_data</code> it seems</p>



<a name="136780080"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136780080" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136780080">(Oct 30 2018 at 14:29)</a>:</h4>
<p>would be nice, for a bugreport, to find a way to trigger that ICE without involving miri</p>



<a name="136780099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136780099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136780099">(Oct 30 2018 at 14:29)</a>:</h4>
<p>maybe a well-placed <code>debug_assert!</code>? But what would be a good place?</p>



<a name="136782734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136782734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136782734">(Oct 30 2018 at 15:11)</a>:</h4>
<p>do we have a "MIR validation" pass like LLVM has for IR? Feels like this would be perfect for such things</p>



<a name="136783097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136783097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136783097">(Oct 30 2018 at 15:16)</a>:</h4>
<p>if you don't know about it, I certainly don't. ;)</p>



<a name="136783152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136783152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136783152">(Oct 30 2018 at 15:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> any suggestions? See above.</p>



<a name="136783639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136783639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136783639">(Oct 30 2018 at 15:23)</a>:</h4>
<p>The problem is, I can write such a pass easily, but that will basically break mir opt level 3</p>



<a name="136784593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784593">(Oct 30 2018 at 15:37)</a>:</h4>
<p>maybe make the pass opt-in via a <code>-Z</code> flag for now?</p>



<a name="136784603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784603">(Oct 30 2018 at 15:37)</a>:</h4>
<p>then we can slowly work towards enabling it per default on debug builds</p>



<a name="136784608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784608">(Oct 30 2018 at 15:38)</a>:</h4>
<p>(and still have the <code>-Z</code> flag on release builds)</p>



<a name="136784670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784670">(Oct 30 2018 at 15:38)</a>:</h4>
<p><span class="user-mention" data-user-id="125250">@Wesley Wiser</span> has worked on fixing MIR inlining recently, they might be interested in whatever that pass uncovers</p>



<a name="136784852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784852">(Oct 30 2018 at 15:40)</a>:</h4>
<p><span class="user-mention" data-user-id="125250">@Wesley Wiser</span> if you want to have an example of something that gets broken by inlining, here's a simple one:</p>
<div class="codehilite"><pre><span></span><span class="k">fn</span> <span class="nf">make_raw</span><span class="p">()</span><span class="w"> </span>-&gt; <span class="o">*</span><span class="k">const</span><span class="w"> </span><span class="kt">f32</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">unsafe</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">mem</span>::<span class="n">uninitialized</span><span class="p">()</span><span class="w"> </span><span class="p">}</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</pre></div>



<a name="136784874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136784874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136784874">(Oct 30 2018 at 15:41)</a>:</h4>
<p>the resulting MIR contains a <code>source_scope_local_data</code> referring to locals that do not exist any more</p>



<a name="136785134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785134">(Oct 30 2018 at 15:45)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> I'm not familiar with <code>source_scope_local_data</code>. I'll certainly look into it though. Does that have something to do with debug info?</p>



<a name="136785566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785566">(Oct 30 2018 at 15:51)</a>:</h4>
<p>I do not have the slightest idea :)</p>



<a name="136785584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785584">(Oct 30 2018 at 15:51)</a>:</h4>
<p>All I know is that miri accesses it when generating a backtrace, and we are getting an out-of-bounds array access at <a href="https://github.com/rust-lang/rust/blob/96064eb61dc703c289fae61bdf90593d3e7b2449/src/librustc_mir/interpret/eval_context.rs#L718" target="_blank" title="https://github.com/rust-lang/rust/blob/96064eb61dc703c289fae61bdf90593d3e7b2449/src/librustc_mir/interpret/eval_context.rs#L718">https://github.com/rust-lang/rust/blob/96064eb61dc703c289fae61bdf90593d3e7b2449/src/librustc_mir/interpret/eval_context.rs#L718</a></p>



<a name="136785658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785658">(Oct 30 2018 at 15:52)</a>:</h4>
<p>so it seems there is an invariant that <code>source_info.scope</code>, for the <code>source_info</code> one finds in the MIR, is in-bounds for that array. or so.</p>



<a name="136785878"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785878" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785878">(Oct 30 2018 at 15:56)</a>:</h4>
<p>Ah ok. Sounds like it might be debug info related then.</p>



<a name="136785905"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136785905" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136785905">(Oct 30 2018 at 15:57)</a>:</h4>
<p>(Which doesn't mean I'm not interested, I'm just still trying to sort out the mis compilations so it might be awhile before I get around to fixing that)</p>



<a name="136786156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/ICE%20generating%20miri%20stacktrace/near/136786156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/ICE.20generating.20miri.20stacktrace.html#136786156">(Oct 30 2018 at 16:00)</a>:</h4>
<p>sure</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>